List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… … Wikipedia
Project Analyzer — Infobox Software name = Project Analyzer caption = Project Analyzer developer = [http://www.aivosto.com Aivosto Oy] genre = Programming tools latest release version = 8 latest release date = February 2006 operating system = Windows license =… … Wikipedia
Coverity — Coverity, Inc. Type Private Industry Software integrity Founded November 2002 Headquarters San Francisco, CA … Wikipedia
Cppcheck — Original author(s) Daniel Marjamäki Initial release March 10, 2009 (2009 03 10) Stable release 1.51 / October 8, 2011; 44 days ago (2011 10 08) … Wikipedia
Fortify Software — is a San Mateo, California based software vendor. The company was founded in 2003 and provides software security products that identify and remove security vulnerabilities from software applications throughout the development, testing, and… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Dynamic program analysis — is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test… … Wikipedia
Microsoft Visual Studio — Visual Studio 2010 SP1 editing a WPF application Developer(s) … Wikipedia
Profiling (computer programming) — In software engineering, profiling ( program profiling , software profiling ) is a form of dynamic program analysis that measures, for example, the usage of memory, the usage of particular instructions, or frequency and duration of function calls … Wikipedia
Debugger — A debugger or debugging tool is a computer program that is used to test and debug other programs (the target program). The code to be examined might alternatively be running on an instruction set simulator (ISS), a technique that allows great… … Wikipedia
PMD (software) — PMD is a static ruleset based Java source code analyzer that identifies potential problems like: * Possible bugs Empty try/catch/finally/switch blocks. * Dead code Unused local variables, parameters and private methods * Empty if/while statements … Wikipedia